
(** *)
(* val assertions : unit -> unit  *)
